|
|
Zásuvný modul pro prostředí Eclipse
Zaytsev, Vsevolod ; Burget, Radim (oponent) ; Sysel, Petr (vedoucí práce)
Tato bakalářská práce má za cíl vytvoření nového zásuvného modulu na základě Dynamic Language Toolkit (DLTK), do vývojového prostředí Eclipse. Teoretická část této práce se zabývá architekturou vývojového prostředí Eclipse a vysvětluje možnost jeho rozšíření o vlastní zásuvné moduly, zejména pro podporu skriptovacího jazyku Octave. Praktická část práce popisuje vytvoření nového zásuvného modulu pro prostředí Eclipse, jeho nasazení a aktivace.
|
|
|
Modernizace GIS systému GRASS
Bartoň, Radek ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Geografický informační systém GRASS se stal za 26 let své existence standardem na poli modelování geografických jevů. Jeho vnitřní struktura však odpovídá době jeho vzniku. Tato práce chce navrhnout možnou podobu modernizace interních částí zavedením komponentní architektury a objektových návrhových vzorů, jakož i podporu distribuovaných výpočtů a dynamických jazyků, ale z~uživatelského pohledu chce ovládání zachovat. Výsledek návrhu je rozveden do prototypové implementace knihovny nazvané GAL Framework.
|
|
|
Towards Static Analysis of Languages with Dynamic Features
Hauzar, David ; Plášil, František (vedoucí práce) ; Sinz, Carsten (oponent) ; Holík, Lukáš (oponent)
Dynamické funkce programovacích jazyků, jako je dynamický typový systém, dynamické volání funkcí, dynamické vykonávání kódu a dynamické datové struktury, poskytují flexibilitu, která urychluje vývoj. Tyto funkce ale snižují množství informací, které jsou kontrolovány v době kompilace. To má za následek nižší výkon a větší chybovost programů. Tento problém je možné vyřešit pomocí technik statické analýzy. Dynamické funkce bohužel pro tyto techniky představují překážku a zásadně omezují jejich přesnost, spolehlivost a výkonnost. Abychom tento problém pomohli vyřešit, navrhujeme framework pro statickou analýzu, který automaticky řeší dynamické funkce, a tím umožňuje definovat přesné a spolehlivé statické analýzy podobně jako v případě, kdy program dynamické funkce neobsahuje. Aby bylo takový framework možné vytvořit, navrhujeme novou techniku heap analýzy, která modeluje asociativní pole a (prototypové) objekty. Dále navrhujeme analýzu hodnot proměnných, která zjišťuje další informace potřebné pro vypořádání se s dynamickými funkcemi. Nakonec navrhujeme techniku, která umožňuje automaticky a genericky kombinovat analýzu hodnot proměnných s heap analýzou. Powered by TCPDF (www.tcpdf.org)
|
|
|
IntelliSense Implementation of a Dynamic Language
Míšek, Jakub ; Zavoral, Filip (vedoucí práce)
Vývojáři během samotného programování často opakují stejná slova a stále opisují běžné výrazy. Dále také prohledávají dokumentace a zdrojové kódy, například kvůli znění deklarací metod a jiných symbolů. Z tohoto pohledu je velmi užitečná asistence ze strany vývojového prostředí. Konkrétně metody IntelliSense značně usnadňují práci tím, že shromažďují informace o používaných symbolech a programátorovi je automaticky nabízejí. Během práce s dynamickými jazyky je ale tato pomoc velmi problematická, jelikož sémantika jednotlivých symbolů není definitivně známa, dokud program není spuštěn. Součásti projektu Phalanger tak byli implementovány metody pro syntaktickou, ale také sémantickou analýzu zdrojového kódu, zaměřené hlavně na dynamický jazyk PHP. Je tak možné sestavit seznam slov, které je možné zapsat na určité místo ve zdrojovém kódu; jako jsou klíčová slova jazyka, deklarované symboly či parametry funkce, včetně informací o nich.
|
|
|
Zásuvný modul pro prostředí Eclipse
Zaytsev, Vsevolod ; Burget, Radim (oponent) ; Sysel, Petr (vedoucí práce)
Tato bakalářská práce má za cíl vytvoření nového zásuvného modulu na základě Dynamic Language Toolkit (DLTK), do vývojového prostředí Eclipse. Teoretická část této práce se zabývá architekturou vývojového prostředí Eclipse a vysvětluje možnost jeho rozšíření o vlastní zásuvné moduly, zejména pro podporu skriptovacího jazyku Octave. Praktická část práce popisuje vytvoření nového zásuvného modulu pro prostředí Eclipse, jeho nasazení a aktivace.
|
|
|
IntelliSense Implementation of a Dynamic Language
Míšek, Jakub ; Zavoral, Filip (vedoucí práce)
Vývojáři během samotného programování často opakují stejná slova a stále opisují běžné výrazy. Dále také prohledávají dokumentace a zdrojové kódy, například kvůli znění deklarací metod a jiných symbolů. Z tohoto pohledu je velmi užitečná asistence ze strany vývojového prostředí. Konkrétně metody IntelliSense značně usnadňují práci tím, že shromažďují informace o používaných symbolech a programátorovi je automaticky nabízejí. Během práce s dynamickými jazyky je ale tato pomoc velmi problematická, jelikož sémantika jednotlivých symbolů není definitivně známa, dokud program není spuštěn. Součásti projektu Phalanger tak byli implementovány metody pro syntaktickou, ale také sémantickou analýzu zdrojového kódu, zaměřené hlavně na dynamický jazyk PHP. Je tak možné sestavit seznam slov, které je možné zapsat na určité místo ve zdrojovém kódu; jako jsou klíčová slova jazyka, deklarované symboly či parametry funkce, včetně informací o nich.
|
|
|
Towards Static Analysis of Languages with Dynamic Features
Hauzar, David ; Plášil, František (vedoucí práce) ; Sinz, Carsten (oponent) ; Holík, Lukáš (oponent)
Dynamické funkce programovacích jazyků, jako je dynamický typový systém, dynamické volání funkcí, dynamické vykonávání kódu a dynamické datové struktury, poskytují flexibilitu, která urychluje vývoj. Tyto funkce ale snižují množství informací, které jsou kontrolovány v době kompilace. To má za následek nižší výkon a větší chybovost programů. Tento problém je možné vyřešit pomocí technik statické analýzy. Dynamické funkce bohužel pro tyto techniky představují překážku a zásadně omezují jejich přesnost, spolehlivost a výkonnost. Abychom tento problém pomohli vyřešit, navrhujeme framework pro statickou analýzu, který automaticky řeší dynamické funkce, a tím umožňuje definovat přesné a spolehlivé statické analýzy podobně jako v případě, kdy program dynamické funkce neobsahuje. Aby bylo takový framework možné vytvořit, navrhujeme novou techniku heap analýzy, která modeluje asociativní pole a (prototypové) objekty. Dále navrhujeme analýzu hodnot proměnných, která zjišťuje další informace potřebné pro vypořádání se s dynamickými funkcemi. Nakonec navrhujeme techniku, která umožňuje automaticky a genericky kombinovat analýzu hodnot proměnných s heap analýzou. Powered by TCPDF (www.tcpdf.org)
|
|
|
Modernizace GIS systému GRASS
Bartoň, Radek ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Geografický informační systém GRASS se stal za 26 let své existence standardem na poli modelování geografických jevů. Jeho vnitřní struktura však odpovídá době jeho vzniku. Tato práce chce navrhnout možnou podobu modernizace interních částí zavedením komponentní architektury a objektových návrhových vzorů, jakož i podporu distribuovaných výpočtů a dynamických jazyků, ale z~uživatelského pohledu chce ovládání zachovat. Výsledek návrhu je rozveden do prototypové implementace knihovny nazvané GAL Framework.
|
host ::
RSS.